以上鞅的情况为例,

1. 当 $k = 1$ 时, 由定义即得上式.

2. 设 $k$ 时成立, 则

对于鞅, 只需把上述不等号改为等号. 证毕.